<?php
	session_start();
	
	$mensajeBienvenida = '';
	
	if ($_SESSION['sesion_activa'] == true) {
		$mensajeBienvenida = 'Bienvenido ' . $_SESSION['sesion_Nombre'] . ' [' .$_SESSION['sesion_usuario'] . ']';
	}
?>
<header>
    <h1>Carrito de Compras</h1>
    <img src="/productos/banner.gif" width="900" height="113" align="middle">
    <p><?php echo $mensajeBienvenida;?></p>
</header>